$\forall$$f$:Top, $L$:Top List. null(map($f$;$L$)) $\sim$ null($L$)